From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post
Horn Clauses
youtube.com·3h
👑Isabelle/HOL
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️eBPF Security
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·16h
📝ABNF Extensions
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.com·10h
🕵️Vector Smuggling
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.com·1d
🦠Malware Analysis
Flag this post
Thought Engineering
pranavc28.github.io·16h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Reinventing Assertions
beust.com·9h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
AI scrapers request commented scripts
cryptography.dog·4h·
Discuss: Hacker News
🌐DNS Security
Flag this post
Show HN: I built Cuiz-AI, turns documents into quizzes in seconds
cuiz-ai.com·8h·
Discuss: Hacker News
🤖AI Curation
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·21h·
Discuss: r/MachineLearning
🧮Theorem Proving
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·16h
💻Programming languages
Flag this post
Ajla Tutorial
ajla-lang.cz·19h·
Discuss: Hacker News
💧Liquid Types
Flag this post
AI-assisted writing (without the Slop)
jampa.dev·2h·
Discuss: Hacker News
📝Text Compression
Flag this post